#ifndef __ASM_MMU_CONTEXT_H__
#define __ASM_MMU_CONTEXT_H__

#include "linux/page.h"
#include "linux/sched.h"

extern void cpu_v7_switch_mm(unsigned long pgd);

static inline void switch_mm(struct mm_struct *prev, struct mm_struct *next, struct task_struct *tsk)
{
    if (!next || (prev == next))
        return;

    cpu_v7_switch_mm((((unsigned long)next->pgd) & 0xffffc000) | 0x9UL);
}

#endif
